Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 3.Ident. | Authors (with country if any) | Title |
---|---|---|
00E606 | Jieh Hsiang [États-Unis] ; Michael Rusinowitch [France] | On word problems in equational theories |
00E860 | Jieh Hsiang [États-Unis] ; Michael Rusinowitch [France] | A new method for establishing refutational completeness in theorem proving |
00EA36 | Jieh Hsiang [États-Unis] | Refutational theorem proving using term-rewriting systems |
This area was generated with Dilib version V0.6.33. |